Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
601	A Logic-based Framework for Verifying Consensus Algorithms? Cezara Dr˘ agoi1 , Thomas A. Henzinger1 , Helmut Veith2 , Josef Widder2 , and Damien Zufferey3?? 1 Add to Reading List Source URL: forsyte.at Language: English - Date: 2013-12-10 04:45:58 Predicate logic Model theory Propositional calculus Theoretical computer science First-order logic Algorithm Function Predicate Interpretation Logic Mathematical logic Mathematics
602	Gerard J. Holzmann Work: Laboratory for Reliable Software NASA/JPL, 4800 Oak Grove Drive Add to Reading List Source URL: spinroot.com Language: English - Date: 2015-05-15 14:06:48 Science Software development Logic in computer science Systems engineering Software quality Gerard J. Holzmann Software verification Formal verification Model checking Formal methods Theoretical computer science Software testing
603	Denotational Semantics for a Probability Timed Shared-Variable Language Huibiao Zhu1 Jeff Sanders2 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-29 05:02:53 Mathematics Mathematical logic Models of computation Denotational semantics Operational semantics Semantics Algebraic semantics Model theory Structure Programming language semantics Theoretical computer science Logic in computer science
604	Runtime Checking for Separation Logic Huu Hai Nguyen1 , Viktor Kuncak2 , and Wei-Ngan Chin1,3 1 3 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2007-11-16 10:14:07 Mathematical logic Program logic Formal methods Postcondition First-order logic Hoare logic Model checking Separation logic Well-formed formula Theoretical computer science Logic in computer science Logic
605	Computer-Aided Security Proofs for the Working Cryptographer⋆ Gilles Barthe1 , Benjamin Gr´egoire2, Sylvain Heraud2 , and Santiago Zanella B´eguelin1 1 2 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematics Functions and mappings Function First-order logic Interpretation Mathematical logic Model theory Logic
606	THE EROTETIC THEORY OF REASONING: Add to Reading List Source URL: www.koralus.net Language: English - Date: 2014-04-05 07:49:18 Mind Mental model Psychology of reasoning Reason Deductive reasoning Inference Default logic Philosophy Sequent Reasoning Science Logic
607	Decision Procedures for Algebraic Data Types with Abstractions Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 09:06:44 Model theory Predicate logic Ground expression First-order logic Binary tree Lambda calculus Interpretation Function Tree Mathematical logic Mathematics Logic
608	An Efficient Decision Procedure for Imperative Tree Data Structures ? Thomas Wies1 , Marco Mu˜niz2 , and Viktor Kuncak3 1 Institute of Science and Technology (IST), Austria Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:28 Model theory Predicate logic Formal languages Metalogic First-order logic Interpretation Ground expression Atomic formula Well-formed formula Logic Mathematics Mathematical logic
609	The following tables summarize the Interim Assessment Blocks available at each grade level. Specific information on each block follows these tables. Mathematics Interim Assessment Blocks Grade 3 Add to Reading List Source URL: www.smarterbalanced.org Language: English - Date: 2015-02-11 17:43:38 Reasoning Thought Educational psychology Epistemology Economic model Problem solving Function Logic Reason Mathematics Mind Ethology
610	Accelerating Interpolants ⋆ Hossein Hojjat1 , Radu Iosif2 , Filip Koneˇcn´y2,4, Viktor Kuncak1, and Philipp R¨ummer3 1 Swiss Federal Institute of Technology Lausanne (EPFL) Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-07-02 15:54:03 Formal methods Abstraction Model theory Predicate transformer semantics Program logic Transitive closure Predicate abstraction Predicate Interpolation Mathematical logic Mathematics Logic

UPDATE